logic for mathematicians
[数] 数理逻辑
热门查询
- comeuppance n. 因果报应，应得的惩罚
- adore vt. 崇拜；爱慕；喜爱；极喜欢 vi. 崇拜；爱慕 n. (Adore)人名；(法)阿多尔
- identikit n. （供证人辨认罪犯的）人象拼片；拼图辨认嫌疑犯 adj. （用旧材料）拼凑成的；老一套的
- Lille n. 里尔（法国北部城市）
- addenda n. 附录；附加物（addendum的复数）
- dominantly 有统治权地 支配地
- Hesiod 赫西奥德(公元前8世纪,希腊诗人)
- tombstone n. 墓碑；墓石 n. (Tombstone)人名；(英)图姆斯通
- mendoza n. 门多萨（阿根廷城市）
- archaeological adj. [古] 考古学的；[古] 考古学上的
- obey vt. 服从，听从；按照……行动 vi. 服从，顺从；听话 n. (Obey)人名；(英、法)奥贝
- sending n. 发送；[通信] 发射；信件 v. 发送；派遣（send的ing形式）；打发
- circumspection n. 慎重；细心
- speck n. 灰尘；污点；小颗粒 vt. 使有斑点 n. (Speck)人名；(英)斯佩克；(德)施佩克
- enjoy vt. 欣赏，享受；喜爱；使过得快活
- dlp abbr. defense of life and property 生命和财产保护; date of last payment 最后付款时间; double-large post 双大邮裁（一种纸的幅面）; distolinguopulpal 齿腔的远面
- macho adj. 大男子气概的 n. 强壮男子；大丈夫 n. (Macho)人名；(西)马乔；(捷)马霍
- bucks n. 雄鹿队（篮球队名）；巴克斯（英国伦敦附近的一个郡名）
- atherosclerosis n. [内科] 动脉粥样硬化；动脉硬化
- daughter-in-law n. 儿媳妇
